-- MAIN == ERROR at global: execution aborted in function div
DEF fun(param1:nat, param2:nat):nat == div(param1, param2)
DEF MAIN:nat == fun(2,0)
DEF dummy2():nat == 18
